xend: Convert the type of superpages to integer to fix a TypeError.

Signed-off-by: Masaki Kanno <kanno.masaki@jp.fujitsu.com>

diff --git a/tools/python/xen/xend/image.py b/tools/python/xen/xend/image.py
index 1ecd0a28a4d1a1d584ef739b2a8ce7a69c0fffd3..8364df30b72194ebde0c4bcd5a7853831b79cec2 100644 (file)
--- a/tools/python/xen/xend/image.py
+++ b/tools/python/xen/xend/image.py
@@ -665,7 +665,7 @@ class LinuxImageHandler(ImageHandler):
         ImageHandler.configure(self, vmConfig)
         self.vramsize = int(vmConfig['platform'].get('videoram',4)) * 1024
         self.is_stubdom = (self.kernel.find('stubdom') >= 0)
-        self.superpages = vmConfig['superpages']
+        self.superpages = int(vmConfig['superpages'])
 
     def buildDomain(self):
         store_evtchn = self.vm.getStorePort()